update{-}spec{-}dom(${\it upd}$;$k$;$x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}dom(product{-}deq(Knd;Id;KindDeq;IdDeq); $<$$k$, $x$$>$; ${\it upd}$)